退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在没有时间逻辑的情况下验证时间属性
Bowen Alpern; Bowen Alpem; Fred B. Schneider;
机译:验证通过Evolution Logic指定的临时堆属性
机译:用类星校验并发Ada程序的线性时间时序逻辑属性
机译:线性时间逻辑,属性规范模式和事件处理语言形式化的时间属性的可理解性
机译:信号时间逻辑的财产定向验证监控
机译:用于验证和控制网络系统的时空逻辑
机译:前颞叶切除术会损害右上颞沟的身体情绪的神经分类并在不影响行为分类的情况下降低大脑分布区域的情绪增强
机译:验证通过进化逻辑指定的时间堆属性
机译:不使用时态逻辑验证时态属性
机译:使用过程代数和地时逻辑验证过程的装置
机译:正式验证使用局部变量表示的时间特性
机译:使用局部变量表示的时间属性的形式验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。